A Formal Framework for Requirements Evolution

نویسنده

  • Massimo Felici
چکیده

This report investigates Requirements Evolution for computer-based systems. Although practitioners and researchers recognise the problem, there has been little research effort in investigating models of Requirements Evolution. This is due to lack of long term evolutionary data and models to analyse them. This report takes into account Requirements Evolution for computer-based systems and investigates models that may enhance our understanding about Requirements Evolution. The collection of identified models provides a basis for a Formal Framework for Requirements Evolution. This report and the work it describes were partially funded by a grant of the Italian National Research Council (CNR), Bando n. 203.01.72, Codice n. 03.01.04, Research Program: A Formal Framework for Requirements Evolution.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Formal Framework for Requirements

This report investigates Requirements Evolution for computer-based systems. Although practitioners and researchers recognise the problem, there has been little research effort in investigating models of Requirements Evolution. This is due to lack of long term evolutionary data and models to analyse them. This report takes into account Requirements Evolution for computer-based systems and invest...

متن کامل

A Framework for Reasoning about Requirements Evolution

We present a logical framework for modeling and reasoning about requirements evolution in the construction of information systems. We illustrate how a suuciently rich meta-level logic can formally and accurately capture intuitive ways of handling incompleteness and inconsistency in requirements and how operators that map between theories of this meta-level logic can provide a formal basis for r...

متن کامل

Requirements Engineering Methods: A Classification Framework and Research Challenges

Requirements Engineering Methods (REMs) support Requirements Engineering (RE) tasks, from elicitation, through modeling and analysis, to validation and evolution of requirements. Despite the growing interest to design, validate and teach REMs, it remains unclear what components REMs should have. A classification framework for REMs is proposed. It distinguishes REMs based on the domain-independe...

متن کامل

On Schema Evolution in Multidimensional Databases1

Database systems offering a multidimensional schema on a logical level (e.g. OLAP systems) are often used in data warehouse environments. The user requirements in these dynamic application areas are subject to frequent changes. This implies frequent structural changes of the database schema. In this paper, we present a formal framework to describe evolutions of multidimensional schemas and thei...

متن کامل

A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003